#!/bin/bash

RUN_EXPERIMENT=./run_experiment_manysat.sh
REPETITIONS=10

#FILES="*.cnf"
FILES="hole6.cnf factoring_6_13_without_unary.cnf subsetsum_random_4_5_without_unary.cnf sum_unsat_without_unary.cnf"

THREADS="1 2 4 8"

for thread in $THREADS
do

	for rep in $(seq 1 $REPETITIONS)
	do
		for file in $FILES
		do
			$RUN_EXPERIMENT $file $thread
		done
	done
done
